#include "types.h"
#include "stat.h"
#include "user.h"
#include "fcntl.h"

int
main(void)
{
	char a_chars[6];
	int fd = open("a.txt",O_RDONLY);
	if(fd < 0) {
		printf(2,"ERROR");
	}
	else {
		read(fd, &a_chars, 6);
	}
	close(fd);

	char b_chars[600];
	fd = open("b.txt",O_RDONLY);
	if(fd < 0) {
		printf(2,"ERROR");
	}
	else {
		read(fd, &b_chars, 600);
	}
	close(fd);

	char c_chars[6000];
	fd = open("c.txt",O_RDONLY);
	if(fd < 0) {
		printf(2,"ERROR");
	}
	else {
		read(fd, &c_chars, 6000);
	}
	close(fd);

	exit();
}
